Bertrand Meyer - PDFSEARCH.IO - Document Search Engine

Bertrand Meyer
Results: 47

#	Item
21	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-09-24 05:42:50 Concurrent computing Robot Process Computer multitasking Multiprocessing Cloud robotics Humanoid robot
22	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-10-30 10:24:35 Statistics Robot control Probability Mathematical analysis Estimation theory Linear filters Computational statistics Kalman filter Conditional probability Joint probability distribution Particle filter
23	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-11-21 07:26:52 Image segmentation Mathematics Statistics K-means clustering Artificial intelligence Background subtraction Cluster analysis Hierarchical clustering
24	Welcome to ECOOP 2009 in Genova! ECOOP 2009’s Organizing Committee is pleased to welcome you to Genova, for the 23rd European Conference on Object-Oriented Programming. Since it was first held, in Paris in 1987, ECOOP Add to Reading List Source URL: ecoop09.disi.unige.it Language: English - Date: 2009-08-07 08:02:11 Turing Award laureates European Conference on Object-Oriented Programming Dahl-Nygaard Prize David Ungar Kristen Nygaard Luca Cardelli Bertrand Meyer Ole-Johan Dahl W postcode area OOPSLA
25	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
26	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-07-18 08:21:02 Logic in computer science Design by contract Eiffel Formal verification Software verification Postcondition KeY Formal methods Exception handling Software engineering Theoretical computer science Computing
27	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-09-28 08:15:15 Logic in computer science Object-oriented programming Procedural programming languages Postcondition Control flow Eiffel Precondition Programming paradigms Exception handling Software engineering Computing Computer programming
28	How do Distribution and Time Zones affect Software Development? A Case Study on Communication Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen Carlo Ghezzi, Elisabetta Di Nitto Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-03 06:09:40 Distributed computing Collaboration Social information processing